public/domctl: Fix the struct xen_domctl ABI in 32bit builds
authorAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 27 Jul 2020 18:21:09 +0000 (19:21 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 28 Jul 2020 18:33:28 +0000 (19:33 +0100)
commit8899a280a493d6717afc7a709f7d1e842b4eb2d6
treec40e38f30b15068bc364c784e15d5561cd7a9558
parentc27a184225eab54d20435c8cab5ad0ef384dc2c0
public/domctl: Fix the struct xen_domctl ABI in 32bit builds

The Xen domctl ABI currently relies on the union containing a field with
alignment of 8.

32bit projects which only copy the used subset of functionality end up with an
ABI breakage if they don't have at least one uint64_aligned_t field copied.

Insert explicit padding, and some build assertions to ensure it never changes
moving forwards.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Julien Grall <jgrall@amazon.com>
xen/common/domctl.c
xen/include/public/domctl.h